and Technology

Results: 371003



#Item
21Sound / Audio engineering / Loudspeakers / Sound reinforcement system / Flip chart / Office equipment / Stage monitor system / Wireless microphone / Microphone / Audio electronics / Electrical engineering

AudioVisual services At PSAV®, we blend creativity and innovative technology for an inspiring experience. Our highly trained professionals are passionate about delivering exceptional experiences to help you tell your st

Add to Reading List

Source URL: www.ashg.org

Language: English - Date: 2018-06-29 08:30:11
22Computing / Software engineering / Models of computation / UML state machine / State diagram / HSM / Scala

Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2018-01-10 13:23:58
23Model checkers / Software engineering / Computing / Model checking / Theoretical computer science / SPIN model checker / Stack / Promela / Exception handling / Device driver synthesis and verification

Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:45:03
24Information science / Social media / Computing / World Wide Web / Twitter / Computer jargon / Hashtag / Knowledge representation / Web 2.0 / Technology

ZKProof Charter Boston, May 10th and 11th 2018 The goal of the ZKProof Standardardization effort is to advance the use of Zero Knowledge Proof technology by bringing together experts from industry and academia. To furthe

Add to Reading List

Source URL: zkproof.org

Language: English - Date: 2018-10-25 10:32:39
25Computing / Open formats / RSS / Computer file formats / Data types / Cloud computing / Atom / News aggregator / Pointer swizzling / Pointer / Computer data storage / Cloudlet

SLIM: Mmap from the Cloud to Device, and Back Jinghao Shi◦ Mingyuan Xia† Ming Wu‡ Lintao Zhang‡ Zheng Zhang‡ ◦ University of Science and Technology of China

Add to Reading List

Source URL: apsys11.ucsd.edu

Language: English - Date: 2011-07-04 13:02:25
26Enterprise application integration / Computing / Economy / Systems engineering / Software engineering / Message-oriented middleware / Software architecture / IBM Integration Bus / Middleware / Digital banking / Bank / Enterprise service bus

Integration technology Make your business more agile and competitive with near-real-time event-based integration. Integration

Add to Reading List

Source URL: www.temenos.com

Language: English - Date: 2016-05-25 06:21:44
27Economy / Finance / Stock market / Money / Economy of London / Financial markets / London Stock Exchange / Multilateral trading facility / Markets in Financial Instruments Directive / Exchange

Press information AQUIS HIRES MAGNUS ALMQVIST TO HEAD UP TECHNOLOGY SALES Aquis Technologies develops and licenses exchange software LONDON – 1st November 2016 – Aquis Exchange, the pan-European equities exchange an

Add to Reading List

Source URL: www.aquis.technology

Language: English - Date: 2017-04-03 05:34:04
28Cryptography / Public-key cryptography / Ciphertext indistinguishability / ID-based encryption / Chosen-plaintext attack / RSA / Ciphertext / Proxy re-encryption / Homomorphic encryption / XTR / Key encapsulation / Semantic security

Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange David Derler1 , Kai Gellert2 , Tibor Jager2 , Daniel Slamanig3 , and Christoph Striecks3 1 Graz University of Technology

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2018-03-27 10:44:26
29Internet privacy / Computer access control / HTTP cookie / Website / Web analytics / Terms of service / Computer security / World Wide Web / Information privacy / Privacy concerns with social networking services

STEP-C WEBSITE GENERAL TERMS OF USE The content(s) of any and all website(s) of the Science and Technology Park of Crete (STEP-C), are subject to the present general terms and conditions of use in addition to any other s

Add to Reading List

Source URL: www.stepc.gr

Language: English - Date: 2018-06-26 03:32:53
UPDATE